Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
301	Constraints Journal [Preprint] manuscript No. (will be inserted by the editor) Balancing Bike Sharing Systems with Constraint Programming Luca Di Gaspero · Andrea Rendl · Add to Reading List Source URL: tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Network flow Applied mathematics FO Finite model theory Bicycle sharing system Flow network Theoretical computer science Constraint programming Software engineering
302	A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation Kun Zhang Jonathan Sprinkle Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2014-10-10 07:33:46 Model checkers Automata theory Digital electronics Models of computation Formal methods Finite-state machine Promela Model checking Formal verification Electronic engineering Theoretical computer science Design
303	Discussion paper[removed]Weighted Majoritarian Rules for the Location of Multiple Public Facilities Olivier Bochet Add to Reading List Source URL: spire.sciencespo.fr Language: English Mathematics FO Finite model theory Closed and exact differential forms
304	Inexpressible Properties and Propositions Thomas Hofweber University of North Carolina at Chapel Hill [removed] Final version, to appear in Oxford Studies in Metaphysics vol.2. Add to Reading List Source URL: www.marcsandersfoundation.org Language: English - Date: 2013-08-20 15:13:01 Quantification Semantics Philosophical logic Finite model theory Internalism and externalism Proposition Universal quantification Existential quantification FO Logic Philosophy Mathematical logic
305	Seeptember 17, 2014 The Honorablee Patrick McH Henry The Honorablee Al Green Add to Reading List Source URL: www.housingwire.com Language: English - Date: 2014-09-18 15:26:42 FO Finite model theory
306	R 68 RECOMMENDATION No. 68 TO THE MINISTRIES OF EDUCAT I O N c o n c e rn i n g THE RELATIONSHIP BETWEEN EDUCAT I O N, T R A I N I N G Add to Reading List Source URL: www.ibe.unesco.org Language: English - Date: 2012-07-31 05:04:08 English phonology English orthography Speech Assessment Methods Phonetic Alphabet chart for English FO Finite model theory Latin alphabets
307	The Financial Crisis REFORM AND EXIT STRATEGIES The ﬁnancial crisis left major banks crippled by toxic assets and short of capital, while lenders became less willing to ﬁnance business and private projects. The immed Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 01:51:59 FO Finite model theory
308	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
309	On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halperny Robert Harperz Neil Immermanx Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-01-20 18:28:40 Finite model theory Complexity classes Computational complexity theory Descriptive complexity Model theory FO Descriptive complexity theory Relational algebra SO Theoretical computer science Mathematics Applied mathematics
310	FREE ART AND CULTURE, EVERY DAY OF THE WEEK. Ar m Add to Reading List Source URL: getty.edu Language: English - Date: 2010-05-03 16:49:04 English orthography English phonology FO Finite model theory

UPDATE